Until the late 19th century scientists almost always assumed that the world could be described as a rule-based and hence deterministic system or as a set of such systems. The assumption is maintained in many 20th century theories although it has also been doubted because of the breakthrough of statistical theories in thermodynamics (Boltzmann and Gibbs) and other fields, unsolved questions in quantum mechanics as well as several theories forwarded within the social sciences. Until recently it has furthermore been assumed (...) that a rule-based and deterministic system was also predictable if only the rules were known, but this assumption has now been undermined by modern chaos-theory describing rule-based and deterministic, but unpredictable systems, while catastrophe-theory delivers a set of types describing various kinds of instability and conditions for the stability of a given system. Hence the main trait in the theoretical development in the 20th-century science can be described as a basic modification and limitation of some of the fundamental and strong assumptions forwarded in the previous epochs of modern science. Ironically, the very same process has been a process in which the human capacity to intervene in nature has expanded dramatically and mainly with the help of the very same theories, and not least because they allow nature to be described and made manipulable on a lower level and a more fine-grained scale. While the overall theoretical consistency between the various theories has gone, the reach of human intervention in nature has increased based on quite new dimensions whether in the area of physics (e.g.: energy technologies, chemical technologies, nanotechnologies etc.) or biology (ge¬netic manipulation) or in the area of psychology, sociology and culture (artificial simulations of mental processes, new means of communication, implying changes in the social infrastructure and cultural behaviour etc.). While some of these changes and new conditions can be reflected from within the conceptual framework of rule-based systems, albeit more complex than formerly recognized, others seem to give rise to the question of whether there are »systems« and relations between different systems in the world which are not rule-based? For instance, it seems to be obvious that the notion of instability represents a major conceptual break with former theories of rule-based systems, as the stability of the latter is an axiomatically given property implied in the very notion of rule-based systems, while instability can only be the result of external influence which should be explained as the result of another rule-based sy¬stem. While there are no difficulties implied concerning the stability of rule-based systems, the notion of unstable states of a system raises the question of how there can be a system at all if there are no invariant stabilising principles? This is the first question which I will address. And I shall do so by taking two examples of such systems as my point of departure. The first example will be the computer and the second will be ordinary language. In both cases I will argue that the stability of these systems (which are both defined by the existence/presence of human intentions) are provided by the help of - differently organised - redundancy functions which both allow the maintenance of systems in unstable macro-states, suspension of previous rules, underdetermination and overdetermination and generation/emergence/creation of new rules more or less independent of previous rules by the help of optional recursions to the permanently accessible underlying levels as for instance the level of binary representation in computers. Since the notion of redundancy is both controversial as such and often avoided, the concept is discussed (as defined in Claude Shannon's mathematical theory of information and in the semiotic framework of J. J. Greimas) and leading to a more general definition in which the redundancy functions serve to overcome noisy conditions, but at the cost of rule-based stability, determination, and predictability. A second question will be how the notion of rule-generating systems relates to the notion of anticipatory systems and it will be argued that rule-generating systems share some features with an¬ticipatory systems and that the former from a certain viewpoint can be seen as a subclass of the latter, although anticipative features are not necessarily a part of the definition of rule-generating systems. On the other hand, it will be discussed whether anticipatory systems which are not rule-generating systems can exist and it will be argued that the capacity to anticipate is strongly limited if it is not part of a rule-generating system. Therefore, it is concluded that the most powerful anticipatory systems need to be rule-generating systems. (shrink)

Skeptical theism, broadly construed, is an attempt to leverage our limited cognitive powers, in some specified sense, against “evidential” and “explanatory” arguments from evil. Since there are different versions of these kinds of arguments, there are correspondingly different versions of skeptical theism. In this paper, I briefly explain three versions of these arguments from evil (two from William Rowe and one from Paul Draper) and the three versions of skeptical theism tailor-made to block them (from Stephen Wykstra, Michael Bergmann, and (...) Peter van Inwagen). (shrink)

I argue that culpable ignorance can be irreducibly collective. In some cases, it is not fair to expect any individual to have avoided her ignorance of some fact, but it is fair to expect the agents together to have avoided their ignorance of that fact. Hence, no agent is individually culpable for her ignorance, but they are culpable for their ignorance together. This provides us with good reason to think that any group that is culpably ignorant in this irreducibly collective (...) sense is non-distributively collectively responsible for subsequent unwitting acts and consequences. (shrink)

According to some collectivists, purposive groups that lack decision-making procedures such as riot mobs, friends walking together, or the pro-life lobby can be morally responsible and have moral duties. I focus on plural subject- and we-mode-collectivism. I argue that purposive groups do not qualify as duty-bearers even if they qualify as agents on either view. To qualify as a duty-bearer, an agent must be morally competent. I develop the Update Argument. An agent is morally competent only if the agent has (...) sufficient positive and negative control over updating their goal-seeking states. Positive control involves the general ability to update one’s goal-seeking states, whereas negative control involves the absence of other agents with the capacity to arbitrarily interfere with updating one’s goal-seeking states. I argue that even if purposive groups qualify as plural subjects or we-mode group agents, these groups necessarily lack negative control over updating their goal-seeking states. This creates a cut-off point for groups as duty-bearers: Organized groups may qualify as duty-bearers, whereas purposive groups cannot qualify as duty-bearers. (shrink)

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Deontological evidentialism is the claim that S ought to form or maintain S’s beliefs in accordance with S’s evidence. A promising argument for this view turns on the premise that consideration c is a normative reason for S to form or maintain a belief that p only if c is evidence that p is true. In this paper, I discuss the surprising relation between a recently influential argument for this key premise and the principle that ought implies can. I argue (...) that anyone who antecedently accepts or rejects this principle already has a reason to resist either this argument’s premises or its role in support of deontological evidentialism. (shrink)

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an (...) alliance between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (shrink)

James Sterba has recently argued that the free will defense fails to explain the compossibility of a perfect God and the amount and degree of moral evil that we see. I think he is mistaken about this. I thus find myself in the awkward and unexpected position, as a non-theist myself, of defending the free will defense. In this paper, I will try to show that once we take care to focus on what the free will defense is trying to (...) accomplish, and by what means it tries to do so, we will see that Sterba’s criticism of it misses the mark. (shrink)

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

This paper defends a novel account of how to determine the intrinsic value of possible worlds. Section 1 argues that a highly intuitive and widely accepted account leads to undesirable consequences. Section 2 takes the first of two steps towards a novel account by clarifying and defending a view about value-contribution that is based on some of W. D. Ross’ claims about the value of pleasure. Section 3 takes the second step by clarifying and defending a view about value-suppression that (...) is based on Ross’ claims about the interplay between prima-facie duties. Section 4 states and defends the account that I call Rossian Totalism. According to this account, the atoms of intrinsic value within a world only sometimes contribute their intrinsic value to the value of that world. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Paul Silva has recently argued that doxastic justification does not have a basing requirement. An important part of his argument depends on the assumption that doxastic and moral permissibility have a parallel structure. I here reply to Silva's argument by challenging this assumption. I claim that moral permissibility is an agential notion, while doxastic permissibility is not. I then briefly explore the nature of these notions and briefly consider their implications for praise and blame.

One of the few points of agreement between most theists and non-theists working on the problem of evil is that the existence of a perfect God is incompatible with the existence of pointless evil. In a series of influential papers, however, Peter van Inwagen has argued that careful attention to the reasoning behind this claim reveals fatal difficulties related to the Sorites Paradox. In this paper, I explain van Inwagen’s appeal to sorites reasoning, distinguish between two different arguments in his (...) work, and argue that they both commit the same so-far-unnoticed mistake. (shrink)

What I call the Doxastic Puzzle, is the impression that while each of these claims seems true, at least one of them must be false: (a) Claims of the form ‘S ought to have doxastic attitude D towards p at t’ are sometimes true at t, (b) If Φ-ing at t is not within S’s effective control at t, then it is false, at t, that ‘S ought to Φ at t’, (c) For all S, p, and t, having doxastic (...) attitude D towards p at t is not within S’s effective control at t. All three natural replies to the puzzle have been pursued. Some have claimed that doxastic attitudes like believing that p are, in fact, within our effective control, or sufficiently so. Others have claimed that doxastic ought-claims, strictly speaking, are always false. And some have denied that effective control is required for the adequacy of doxastic ought-claims in general. I here pursue and examine a different strategy. In the first part of this paper, I argue that these claims are not only each true but actually not in tension with each other in the first place. Instead of attempting to dispel the puzzle, this solution proposes to evade it instead: to solve it by properly understanding, and by thereby accepting without contradiction, all of its constitutive claims. In the second part of the paper, I argue that the evasive strategy forces us to re-think our understanding of the place of normative reasons in epistemology. More exactly, it seems to come at the cost of one central way of thinking about our reasons for having doxastic attitudes, one where such reasons are good-standing exemplars of normative reasons in general. The evasive strategy, that is, threatens to lead us very quickly to a deflationary picture of epistemic normativity: it rescues normative talk, but sacrifices normative substance. I conclude by explaining why I think this is more consequential than some have made it out to be, and by suggesting that these consequences are welcome nonetheless. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

My starting point is what I call the Normative Authority Conception of justification, where S is justified in their belief that p at t (to some degree n) if and only if their believing that p at t is not ruled out by epistemic norms that have normative authority over S at t. With this in mind, this paper develops an account of doxastic justification by first developing an account of the normative authority of epistemic norms. Drawing from work in (...) political philosophy, I argue that (a) the cognitive and evaluative commitments and concerns behind our actual practices of holding each other and ourselves accountable for our beliefs reveal which epistemic norms we have consented to be under, and that (b) it is because we have consented to be under the authority of these norms – by actually holding ourselves and others accountable to them – that they in turn have normative authority over us. By connecting the authority of epistemic norms to the authority we have over ourselves in this way, the resulting account of doxastic justification (i) explains why it can be appropriate to criticize, resent, or sanction someone for having unjustified beliefs, (ii) avoids the phenomena of normative alienation and normative parochialism, and (iii) respects the social and collective nature of epistemic justification. (shrink)

SINGULARITY: 12 Precepts for Transcendental Living | © 2022 Cromwell Black Publishing House | Original work by Luis Herrera. -/- Living transcendentally is not the same as ‘having the answers to life.’ The intention with which this book is written is to help you identify the God within yourself. Religion is a guidepost, but not the answer. Philosophy is a guidepost, not the answer. People that over-identify with one group or tribe for ideological reasons invariably meet with disappointment because (...) there will always be some tenets they internally oppose and disagree with. Yet they ignore their inner voice in order to ‘fit in with the rest.’ Man is a social animal and excommunication from the tribe has been tantamount to extinction of our lineage since our days as hunters and gatherers. By living transcendentally I have learned to acknowledge, welcome and accept the space between myself and my tribe. I invite you to do the same. -/- Learning to listen to the God within, I can trust my inner voice more because there is a message spoken there, uniquely for me, that will never be printed on the pages of the Bible, or the Koran, or the Tao Te Ching, or any other book for that matter. There’s only one YOU. Others may have your name, but not your identity. They may share your birth date and hospital, but not your parents. They may share your parents, but not your name. Do you see what I’m getting at here? Therefore how can a ‘one-size fits all’ religion, education or philosophy possibly answer the question to your meaning of life? There is no the meaning of life, because there is no the life. There are infinite lives, for which infinite meanings must be furnished. Hence the importance of learning to trust yourself, your inner voice, conscience – the God within. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

I reinforce my defense of permissivism about the rationality of doxastic attitudes on the face of a certain body of evidence against criticism published in this journal by Anantharaman. After making some conceptual clarifications, I manage to show that at least one of my original arguments pro-permissivism is left unscathed by Anantharaman's points.

Skeptical theism, broadly construed, is an attempt to leverage our limited cognitive powers, in some specified sense, against “evidential” and “explanatory” arguments from evil. Since there are different versions of these kinds of arguments, there are correspondingly different versions of skeptical theism. In this paper, I consider four challenges to three central versions of skeptical theism: (a) the problem of generalized skepticism, (b) the problem of moral skepticism, (c) the problem of unqualified modal skepticism, and (d) the challenge from Bayesian (...) epistemology. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

Epistemologists often describe subjects as being capable of adopting a third kind of categorical doxastic stance regarding whether something is the case, besides belief and disbelief. They deploy a variety of idioms in order to ascribe that stance. In this paper, I flesh out the properties that the third kind of categorical stance is supposed to have and start searching for the best ways to ascribe it. The idioms ‘suspends judgment about whether’ and ‘is agnostic about whether’, among others, are (...) found to be unfit to play the desired role. In the end, I suggest that ‘is in doubt as to whether’ is our best choice among the alternatives surveyed here. (shrink)

In Leibniz’s New Essays stands out, within many important topics, his doctrine of innate ideas, which supposes the division between sense knowledge and innate knowledge and implies the distinction between truths of reason and truths of fact. That doctrine is particularly relevant for Leibniz’s philosophy, but implicitly entails the epistemological difference between belief, on one hand, and certainty, on the other. In this paper I outline, according to my interpretation, how Leibniz explains that humans can have certainty about innate ideas. (...) This topic is important because if Leibniz demonstrates the possibility of having certainty of those ideas, then, it is feasible to believe in its existence. However, if his explanation is unsatisfactory his metaphysical doctrine would be seriously weakened and, at the same time, both skepticism and Locke’s empiricist doctrine would be reinforced. (shrink)

Abstracting away from its various particular versions, contemporary externalism about knowledge can be broadly characterized as the rejection of two central ideas: that knowledge is incompatible with reflective awareness of the possibility of error, and that knowledge is necessarily tied to the resources that are available from within the first-person perspective. In this brief introduction, I outline five distinctly externalist accounts of knowledge, and two distinctly externalist methodological approaches to knowledge, all fitting this general description.

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

In this paper I deal with epistemological issues that stem from the hypothesis that reasoning is not only a means of transmitting knowledge from premise-beliefs to conclusion-beliefs, but also a primary source of knowledge in its own right. The idea is that one can gain new knowledge on the basis of suppositional reasoning. After making some preliminary distinctions, I argue that there are no good reasons to think that purported examples of knowledge grounded on pure reasoning are just examples of (...) premise-based inferences in disguise. Next, I establish what kinds of true propositions can to a first approximation be known on the basis of pure reasoning. Finally, I argue that beliefs that are competently formed on the basis of suppositional reasoning satisfy both externalist and internalist criteria of justification. (shrink)

There are many ways in which a speaker can confuse their audience. In this paper, I will focus on one such way, namely, a way of talking that seems to manifest a cross-level kind of cognitive dissonance on the part of the speaker. The goal of the paper is to explain why such ways of talking sound so twisted. The explanation is two-pronged, since their twisted nature may come either from the very mental states that the speaker thereby makes manifest, (...) or from how the speaker chooses to express themselves (even if there is nothing wrong with their mental states). So-called ‘Moore-paradoxical’ utterances are but one example of the phenomenon, and the explanation of what is wrong about them is subsumed under a more general explanation here—one that captures also the twisted-ness of utterances whereby questions are raised or intentions expressed. (shrink)

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

Hermeneutical injustices, according to Miranda Fricker, are injustices that occur “when a gap in collective interpretive resources puts someone at an unfair disadvantage when it comes to making sense of their social experiences” (Fricker 2007, 1). For Fricker, the relevant injustice in these cases is the very lack of knowledge and understanding experienced by the subject. In this way, hermeneutical injustices are instances of epistemic injustices, the kind of injustice that “wrongs someone in their capacity as a subject of knowledge” (...) (Fricker 2007, 5). In this paper, however, I identify different means by which our hermeneutic activities lead to social injustices, of both a practical and epistemic kind, and I identify different ways in which those injustices manifest themselves. Since Fricker’s use of the notion of “hermeneutical injustices” to denote a well-defined kind of injustice is rightfully well-established, I here refer to the more general kinds of injustices I have in mind as “hermeneutic injustices” instead. (shrink)

Livro didático de História da Filosofia I produzido para o curso EaD Licenciatura em Filosofia da UFSC. Tópicos abordados: A filosofia pré-socrática; Os sofistas e Sócrates; A metafísica clássica; As filosofias do helenismo; O neoplatonismo.

Readers and historians have often misunderstood Berkeley's philosophy by believing that he denies the existence of the external world. From which they conclude that his philosophy inevitably leads to solipsism. Faced with these readings, in this paper I discuss the relationship between ontology and the external world in Berkeley with the aim of clarifying some interpretative errors and showing three things: 1) that is a mistake to believe Berkeley’s philosophy eliminate the external world and lead to solipsism, 2) that his (...) own ontology is the key to understand the constitution of the external world, and 3) that God gives the ultimate meaning of that world. / Es habitual que algunos lectores confundan la postura de Berkeley al creer que niega la existencia del mundo externo y que su filosofía lleva inevitablemente al solipsismo. Frente a estas lecturas, analizo en este artículo el tema de la relación entre ontología y mundo externo en Berkeley, con el propósito de aclarar algunos desaciertos interpretativos sobre el asunto y mostrar con ello tres cosas: 1) que se trata de un error creer que su filosofía elimina el mundo externo y lleva al solipsismo, 2) que en la propia ontología está la clave para entender la constitución del mundo externo, y 3) que Dios le da el sentido último a ese mundo. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

Ever since John Locke, philosophers have discussed the possibility of a normative epistemology: are there epistemic obligations binding the cognitive economy of belief and disbelief? Locke's influential answer was evidentialist: we have an epistemic obligation to believe in accordance with our evidence. In this dissertation, I place the contemporary literature on agency and reasons at the service of some such normative epistemology. I discuss the semantics of obligations, the connection between obligations and reasons to believe, the implausibility of Lockean evidentialism, (...) and some of the alleged connections between agency and justification. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

The aim of this paper is to explore what insights relevant logics may provide for the understanding of literary fictional narrative. To date, hardly anyone has reflected on the intersection of relevant logics and narratology, and some could think that there is good reason for it. On the one hand, relevance has been a prominent issue in pragmatics, in the tradition of Grice, and Sperber and Wilson; thus framed, relevance is highly context-sensitive, so it seems unsuitable for formal analysis. On (...) the other hand, the very idea of a logic of narrative has been criticized, arguing that logic brings to a stasis the time of human action (Ricœur, II: 29-60), or that its emphasis on rules misses the creative, unpredictable character of literature (De Man)... First, I will briefly introduce relevant logics, with an eye to showing their interest for narratological concerns, rather than to here providing a coherent (let alone comprehensive) survey. Secondly, lest I get drawn into purely abstract discussion, I will analyse several stories in order to give some instances of the kind of topics congenial to narratology that may be addressed with a relevantist toolkit. Thirdly (and lastly), I will expand in more theoretical fashion on certain issues raised in the second section and bring them into connection with pragmatic relevance theory. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

In this paper, I flesh out an account of the inferential basing relation using a theory about how humans reason: the mental models theory. I critically assess some of the notions that are used by that theory to account for inferential phenomena. To the extent that the mental models theory is well confirmed, that account of basing would be motivated on empirical grounds. This work illustrates how epistemologists could offer explications of the basing relation which are more detailed and less (...) empirically risky. (shrink)

In this paper we will review the history of Quechua in the Peruvian territory (including the eras of the Inca empire, the viceroyalty, and the republic) and consider the challenges it faces in order to survive from the bicentenary of our republic onwards. I begin by showing that most varieties of Quechua are in a process of extinction and reflect on the causes that may have determined this trend in the republican era. I defend the thesis that it was the (...) progressive increase in opportunities for social mobility in the republic that motivated an increasing adoption of Spanish by Quechua speakers, since such opportunities depended on mastering Spanish. The paper closes by discussing about the possibilities to reverse the trend towards the extinction of Quechua. (shrink)

Cet article montre que Fichte développe une originelle conception du langage dans ses Discours à la Nation allemande d’où il ressort non seulement le besoin de retraduire des concepts philosophiques dans un langage populaire comme aussi celui de formuler un langage plus malléable pour la philosophie en tant que telle. Afin d’explorer cette hypothèse, notre propos suivra les étapes suivantes : (i) nous analyserons la conception fichtéenne du rapport entre popularisation et flexibilisation du langage, ce qui nous permettra (ii) d’explorer (...) les raisons systématiques du rapprochement entre langue philosophique et langue populaire et (iii) de saisir précisément la compréhension du rôle philosophique du langage qui en découle. (shrink)

Science, technology, and professions form a system with strong interactions. Yet, these activities attack different kinds of problems which require different kinds of solutions. The problems that trigger scientific and technological research remain insufficiently solved or unsolved, therefore their possible solutions must be invented (i. e. they are partially or totally original) and, consequently, they should be tested against reality by researchers before considering them as true or useful. On the contrary, the problems that trigger professional inquiry are already solved, (...) or have at least some partial solution at hand that is available in the form of a technical protocol. This solution is applied with caution but without testing (i. e. the professional assumes that the solution works because it was already challenged by researchers). Moreover, science and technology tackle unsolved inverse problems, which allow the radical advancement of knowledge, and genuine innovation. A science policy based on a clear distinction between creative and routine activities (i. e. a cre- atively friendly policy) offers an opportunity for societies to reach value-added innovative economic and integral development. (shrink)